push-pull button - German English Dictionary